//
//  typeinfo.h
//  LTLBMC
//
//  Created by GD Huang on 5/17/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef LTLBMC_typeinfo_h
#define LTLBMC_typeinfo_h

#include "OCamlObject.h"

namespace cilast {
    
    
    class typ;
    
    class typeinfo : public OCamlObject {
    public:    
        char*  tname;
        typ*    ttype;
        bool    treferenced; 
        
    };
    
}

#endif
